Expressiveness of Temporal Logics
نویسندگان
چکیده
Propositional Logic, Modal Logic and Temporal Logic Definition The syntax of propositional logics is defined as φ ::= p | ¬φ | φ ∨ φ | φ ∧ φ where p ranges over a (finite) set of atomic propositions AP. The semantics is given by truth tables, e.g., for p ∧ q: ∧ > ⊥ > > ⊥ ⊥ ⊥ ⊥ Propositional Logic, Modal Logic and Temporal Logic Definition The syntax of propositional logics is defined as φ ::= p | ¬φ | φ ∨ φ | φ ∧ φ where p ranges over a (finite) set of atomic propositions AP. The semantics is given by truth tables, e.g., for p ∧ q: ∧ > ⊥ > > ⊥ ⊥ ⊥ ⊥
منابع مشابه
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that result from various combinations of propositional spatial and temporal logics such as the propositional temporal logic PT L, the spatial logics RCC-8, BRCC-8, S4u and their fragments. The obtained results give a clear picture of the trade-off between expressiveness and ‘computational realisability’ within...
متن کاملOn Decidability and Expressiveness of Propositional Interval Neighborhood Logics
Interval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues for Propositional Neighborhood Logics (PNLs). We begin by comparing the expressiveness of the different PNLs. Then, we focus on the most expressive one, namely, PNL, and we show that it is decidable over various classe...
متن کاملInterval Temporal Logics: a Journey
We discuss a family of modal logics for reasoning about relational structures of intervals over (usually) linear orders, with modal operators associated with the various binary relations between such intervals, known as Allen’s interval relations. The formulae of these logics are evaluated at intervals rather than points and the main effect of that semantic feature is substantially higher expre...
متن کاملTimed Temporal Logics
Since the early 1990’s, classical temporal logics have been extended with timing constraints. While temporal logics only express contraints on the order of events, their timed extensions can add quantitative constraints on delays between those events. We survey expressiveness and algorithmic results on those logics, and discuss semantic choices that may look unimportant but do have an impact on...
متن کاملA Road Map of Interval Temporal Logics and Duration Calculi
We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
متن کاملA Survey on Temporal Logics
This paper surveys main and recent developments on temporal logics in a broad sense by presenting various formal systems dealing with various time structures, and discussing important features, such as (un)decidability results, expressiveness and axiomatization systems.
متن کامل